The Kahn principle for networks of synchronous endochronous programs
نویسنده
چکیده
The field of our work is the distributed implementation of synchronous specifications over asynchronous media of communication. Recent research has resulted here in the definition of relevant notions – the endochrony and the isochrony – characterizing the “distributable” synchronous programs. Our main result is the proof of the Kahn principle for networks obtained by composing with unbounded FIFOs deterministic endochronous programs. This implies the determinism (as I/O function) of such networks.
منابع مشابه
Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This involves the synthesis of asynchronous wrappers that drive the synchronous clocks of the modules and perform input reading in such a fashion as to preserve, in a certain sense, the global properties of the system. Our app...
متن کاملNested clocks: The LUSTRE synchronous dataflow language
Lustre is a dataflow language designed for the programming of reactive systems. After a brief introduction to reactive systems, and the notion of synchronous system, the constructs of the language are presented. Lustre programs manipulate clocked streams, and the notion of nested clock is the principal interest of Lustre. The denotational semantics of the language is in the style of Kahn’s netw...
متن کاملMoving from Weakly Endochronous Systems to Delay-Insensitive Circuits
We consider the problem of synthesizing the asynchronous wrappers and glue logic needed for the correct GALS implementation of a modular synchronous system. Our approach is based on the weakly endochronous synchronous model, which defines high-level, implementation-independent conditions guaranteeing correct desynchronization at the level of the abstract synchronous model. We can therefore fact...
متن کاملDeterministic execution of synchronous programs in an asynchronous environment
Synchronous reactive formalisms form an appealing programming model for embedded system and Systems-on-Chip (SoC) design. Deploying synchronous programs onto asynchronous distributed execution platforms is an important issue, and has been the topic of substantial research in the past. The point is that signal/event absence in a reaction cannot be taken as granted because of communication latenc...
متن کاملA constructive denotational semantics for Kahn networks in Coq∗
Semantics of programming languages and interactive environments for the development of proofs and programs are two important aspects of Gilles Kahn’s scientific contributions. In his paper “The semantics of a simple language for parallel programming” [11], he proposed an interpretation of (deterministic) parallel programs (now called Kahn networks) as stream transformers based on the theory of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003